Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
41	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
42	Microsoft WordMOHRI & SPROAT.doc Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-02-14 04:35:20 Formal languages Academia Cognitive science Philosophy Regular language Noam Chomsky Mehryar Mohri Lauri Karttunen Context-free language Finite-state transducer Chomsky hierarchy Context-sensitive language
43	Formal Definition of ALGOL 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-10-06 17:17:15 Software engineering Programming language theory Computing Procedural programming languages ALGOL 68 ALGOL ECL programming language PL/I BackusNaur form For loop Programming language Abstract syntax
44	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
45	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
46	How recursive is language? 1 Running head: HOW RECURSIVE IS LANGUAGE? How recursive is language? A Bayesian exploration Amy Perfors Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:58:51 Cognitive science Formal languages Language Grammar Linguistics Syntax Compiler construction Philosophy of language Recursive grammar Context-free grammar Parsing Recursion
47	1 Exemplar Longest Common Subsequence Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Guillaume Fertin , Raffaella Rizzi and St´ephane Vialette Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-07-03 08:57:04 Mathematics Dynamic programming Combinatorics Formal languages Discrete mathematics Longest common subsequence problem Subsequence Substring
48	Inducing Suffix and LCP Arrays in External Memory Timo Bingmann∗, Johannes Fischer†, and Vitaly Osipov‡ KIT, Institute of Theoretical Informatics, 76131 Karlsruhe, Germany {timo.bingmann,johannes.fischer,osipov}@ki Add to Reading List Source URL: panthema.net Language: English - Date: 2012-11-28 08:24:55 String computer science) Computing Computer programming Arrays Formal languages LCP array Suffix array Combinatorics on words String Suffix tree Trie Substring
49	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
50	Electronic Companion A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST and Columbia University Add to Reading List Source URL: www.rmi.nus.edu.sg Language: English - Date: 2013-06-18 07:37:50 Measure theory Formal languages Symbol Sigma-algebra

UPDATE